$\forall$$L$:Top List, $i$:Top. R{-}has{-}loc($\oplus$($L$);$i$) $\sim$ reduce($\lambda$$A$,$b$. R{-}has{-}loc($A$;$i$) $\vee_{2}$ $b$;false$_{2}$;$L$)